COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00005 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CApril 24,1975



Professional Employment Office
Intel Corporation
3065 Bowers Avenue
Santa Clara, Cal   95051


Dear Sirs:

\J
I am responding to your advertisement  in the CACM.

I am enclosing a slight biographical sketch. The salient features
of that biography are my extensive experience in computer science research
and teaching. I have taught at UC Santa Barbara, Los Angeles and Santa Cruz.
I am currently teaching at San Jose State. I am completing a book on
foundations of computer science and language design; it will be published
by McGraw-Hill. 

My experience  ranges from design and implementation of display-based  time
sharing systems to research topics in theorem-proving.
My current research interest lie in the realm of application of the
theoretical work in automatic programming and verification. In particular,
I am currently exploring the design of 
an on-line programming laboratory for the construction of reliable programs.
This involves work in progress on language design, verification, and
applications of displays.

If there seems to be a ground for mutual interest please contact me.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L